PLC-automata: a new class of implementable real-time automata

PLC-Automata: A New Class of Implementable Real-Time Automata

We introduce a new class of automata which are tailored for dealing with real-time properties modelling the behaviour of Pro-grammable Logic Controllers (PLC) that are often used in practice to solve controlling problems. A semantics in an appropriate temporal logic (Duration Calculus) is given and an implementation schema is presented in a programming language for PLCs that ts the semantics. F...

MOBY/PLC - Graphical Development of PLC-Automata

Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and c...

Real-Time Vector Automata

We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected k × k matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and “blind” versions of these machines are ...

A Fractal Non-Contracting Class of Automata Groups

A New Class of Automata Networks

A new class of automata networks is defined. Their evolution rules are determined by a probability measure p on the set of all integers Z and an indicator function IA on the interval [0, 1]. It is shown that any cellular automaton rule can be represented by a (nonunique) rule formulated in terms of a pair (p, IA). This new class of automata networks contains discrete systems which are not cellu...